COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	blocks[f83,jmc]		Improved blocks axioms
C00004 ENDMK
C⊗;
blocks[f83,jmc]		Improved blocks axioms

Notes after conversation with Leslie Pack and Joe Edozien.

¬ab aspect1(x,p,s) ⊃ location(x,result(move(x,p),s)) = p

[location(z,s) = x ∨ location(z,s) = p] ∧ ¬ab aspect8(z,x,p,s) ⊃ ab aspect1(x,p,s)

tiny z ⊃ ab aspect8(z,x,p,s)

¬ab aspect7(x,e,s) ⊃ location(x,result(e,s)) = location(x,s)

ab aspect7(x,move(x,p),s)

¬ab aspect4(x,e,s) ⊃ color(x,result(e,s)) = color(x,s)

¬ab aspect2(x,c,s) ⊃ color(x,result(paint(x,c),s)) = c

These axioms about the results of moving and painting are slightly
extended from those that were put on the blackboard during the
afore-mentioned conversation.  Further versions may be sent to
replace this one.

e1 > e2 ; e1 has greater priority than e2
attached(wingedness,bird)
attached(flying,bird)
attached(flightlessness, ostrich)

attached(prop,kind) ∧ belongs(x,kind) ∧ ¬ab aspect1(x,prop,kind,s)
	⊃ hold(prop,x,s)

-holds(flying,x,s) ∧ holds(flightlessness,x,s)

is-a(ostrich,bird)

attached(prop1,kind1) ∧ attached(prop2,kind2) ∧ incompatible(prop1,prop2)
∧ is-a(kind1,kind2) ∧ belongs(x,kind1) ⊃ ab aspect1(x,prop2,kind2,s)

Can we get by with less reification?